A Control Language for Designing Constraint Solvers
Identifieur interne : 009F49 ( Main/Exploration ); précédent : 009F48; suivant : 009F50A Control Language for Designing Constraint Solvers
Auteurs : Carlos Castro [France] ; Eric Monfroy [Pays-Bas]Source :
- Lecture Notes in Computer Science [ 0302-9743 ]
Descripteurs français
- Pascal (Inist)
English descriptors
- KwdEn :
Abstract
Abstract: We propose a strategy language for designing single constraint solvers as well as their collaborations. Based on the notions of constraint filter, separator, and sorter, we define basic strategy operators that allow us to specify single solvers and their collaboration in a uniform way. We exemplify the use of this language by specifying some techniques for solving non-linear constraints over real numbers and CSPs over finite domains.
Url:
DOI: 10.1007/3-540-46562-6_36
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 000738
- to stream Istex, to step Curation: 000733
- to stream Istex, to step Checkpoint: 002202
- to stream Main, to step Merge: 00A530
- to stream PascalFrancis, to step Corpus: 000A43
- to stream PascalFrancis, to step Curation: 000039
- to stream PascalFrancis, to step Checkpoint: 000A32
- to stream Main, to step Merge: 00A638
- to stream Main, to step Curation: 009F49
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">A Control Language for Designing Constraint Solvers</title><author><name sortKey="Castro, Carlos" sort="Castro, Carlos" uniqKey="Castro C" first="Carlos" last="Castro">Carlos Castro</name></author><author><name sortKey="Monfroy, Eric" sort="Monfroy, Eric" uniqKey="Monfroy E" first="Eric" last="Monfroy">Eric Monfroy</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:20C02DDFED47994A818953C4111698B814670997</idno><date when="2000" year="2000">2000</date><idno type="doi">10.1007/3-540-46562-6_36</idno><idno type="url">https://api.istex.fr/ark:/67375/HCB-1565HSWJ-V/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">000738</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">000738</idno><idno type="wicri:Area/Istex/Curation">000733</idno><idno type="wicri:Area/Istex/Checkpoint">002202</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">002202</idno><idno type="wicri:doubleKey">0302-9743:2000:Castro C:a:control:language</idno><idno type="wicri:Area/Main/Merge">00A530</idno><idno type="wicri:source">INIST</idno><idno type="RBID">Pascal:00-0316882</idno><idno type="wicri:Area/PascalFrancis/Corpus">000A43</idno><idno type="wicri:Area/PascalFrancis/Curation">000039</idno><idno type="wicri:Area/PascalFrancis/Checkpoint">000A32</idno><idno type="wicri:explorRef" wicri:stream="PascalFrancis" wicri:step="Checkpoint">000A32</idno><idno type="wicri:doubleKey">0302-9743:2000:Castro C:a:control:language</idno><idno type="wicri:Area/Main/Merge">00A638</idno><idno type="wicri:Area/Main/Curation">009F49</idno><idno type="wicri:Area/Main/Exploration">009F49</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">A Control Language for Designing Constraint Solvers</title><author><name sortKey="Castro, Carlos" sort="Castro, Carlos" uniqKey="Castro C" first="Carlos" last="Castro">Carlos Castro</name><affiliation wicri:level="3"><country xml:lang="fr">France</country><wicri:regionArea>LORIA-INRIA, BP 101, F-54602, Villers-lès-Nancy Cedex</wicri:regionArea><placeName><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region><settlement type="city">Villers-lès-Nancy</settlement></placeName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">France</country></affiliation></author><author><name sortKey="Monfroy, Eric" sort="Monfroy, Eric" uniqKey="Monfroy E" first="Eric" last="Monfroy">Eric Monfroy</name><affiliation wicri:level="3"><country xml:lang="fr">Pays-Bas</country><wicri:regionArea>CWI, P.O. Box 94079, NL-1090 GB, Amsterdam</wicri:regionArea><placeName><settlement type="city">Amsterdam</settlement><region nuts="2" type="province">Hollande-Septentrionale</region></placeName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">Pays-Bas</country></affiliation></author></analytic><monogr></monogr><series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title><idno type="ISSN">0302-9743</idno><idno type="ISSN">0302-9743</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Computer theory</term><term>Constraint logic programming</term><term>Constraint satisfaction</term><term>Program specification</term><term>Program transformation</term><term>Rewriting systems</term></keywords><keywords scheme="Pascal" xml:lang="fr"><term>Informatique théorique</term><term>Programmation logique avec contrainte</term><term>Satisfaction contrainte</term><term>Spécification programme</term><term>Système réécriture</term><term>Transformation programme</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: We propose a strategy language for designing single constraint solvers as well as their collaborations. Based on the notions of constraint filter, separator, and sorter, we define basic strategy operators that allow us to specify single solvers and their collaboration in a uniform way. We exemplify the use of this language by specifying some techniques for solving non-linear constraints over real numbers and CSPs over finite domains.</div></front></TEI><affiliations><list><country><li>France</li><li>Pays-Bas</li></country><region><li>Grand Est</li><li>Hollande-Septentrionale</li><li>Lorraine (région)</li></region><settlement><li>Amsterdam</li><li>Villers-lès-Nancy</li></settlement></list><tree><country name="France"><region name="Grand Est"><name sortKey="Castro, Carlos" sort="Castro, Carlos" uniqKey="Castro C" first="Carlos" last="Castro">Carlos Castro</name></region><name sortKey="Castro, Carlos" sort="Castro, Carlos" uniqKey="Castro C" first="Carlos" last="Castro">Carlos Castro</name></country><country name="Pays-Bas"><region name="Hollande-Septentrionale"><name sortKey="Monfroy, Eric" sort="Monfroy, Eric" uniqKey="Monfroy E" first="Eric" last="Monfroy">Eric Monfroy</name></region><name sortKey="Monfroy, Eric" sort="Monfroy, Eric" uniqKey="Monfroy E" first="Eric" last="Monfroy">Eric Monfroy</name></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 009F49 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 009F49 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= RBID
|clé= ISTEX:20C02DDFED47994A818953C4111698B814670997
|texte= A Control Language for Designing Constraint Solvers
}}
| This area was generated with Dilib version V0.6.33. |  |